Keterampilan Algebraic Reasoning Mahasiswa Pada Mata Kuliah Program Linear

Algebraic Reasoning for SHIQ

We present a hybrid tableau calculus for the description logic SHIQ that decides ABox consistency and uses an algebraic approach for more informed reasoning about qualified number restrictions (QNRs). Benefiting from integer linear programming and several optimization techniques to deal with the interaction of QNRs and inverse roles, our approach provides a more informed calculus. A prototype r...

Algebraic Solving of Complex Interval Linear Systems by Limiting ‎Factors‎

In this work, we propose a simple method for obtaining the algebraic solution of a complex interval linear system where coefficient matrix is a complex matrix and the right-hand-side vector is a complex interval vector. We first use a complex interval version of the Doolittle decomposition method and then we restrict the Doolittle's solution, by complex limiting factors, to achieve a complex in...

Bahuchara Mata

Algebraic Linear Orderings

An algebraic linear ordering is a component of the initial solution of a first-order recursion scheme over the continuous categorical algebra of countable linear orderings equipped with the sum operation and the constant 1. Due to a general Mezei-Wright type result, algebraic linear orderings are exactly those isomorphic to the linear ordering of the leaves of an algebraic tree. Using Courcelle...

Linear Algebraic Groups

These are the exercises (with solutions) and the exam for the course Algebra II, winter term 2014/2015 at Bonn. Students were not assumed to have heard algebraic geometry before, just algebra. In particular, basic affine and projective geometry were introduced from scratch. The course covered the standard material up to the structure results about maximal tori and Borel subgroups. Root systems ...